منابع مشابه
Generic Packages with Expandable Classes compared with similar approaches
This paper gives a short introduction to the GePEC system and to the notion of generic packages with expandable classes. It also compares this system to other languages and mechanisms with respect to some well known challenges in object-oriented programming. As the representatives for other languages we have chosen languages based on the virtual class approach. More specifically, these are J&, ...
متن کاملTesting Techniques for Ada 95
ions that are designed in this way, using a private child package to declare package body data, are not only easier to test but are also more easily extended. Besides their usefulness as a replacement for test points, hierarchical library units can also improve the testability of a system in other ways. In particular, there are many operations which are specific to testing that would benefit fr...
متن کاملPre-Employment Testing and the ADA
This brochure is one of a series on human resources practices and workplace accommodations for persons with disabilities edited by Susanne M. Bruyère, Ph.D., CRC, SPHR, Director, Program on Employment and Disability, School of Industrial and Labor Relations – Extension Division, Cornell University. It was updated in July, 2000, by Mary Anne Nester, Ph.D., U.S. Immigration and Naturalization Ser...
متن کاملSystematic Unit-Testing of Ada Programs
The systematic test is an inevitable part of the verification and validation process for software. Overall support for all testing activities is currently not available in a single Ada testing tool. Hence, a combination of powerful testing tools is necessary to provide systematic and complete test process automation for the examination of Ada programs. The classification-tree editor CTE support...
متن کاملTesting Ada 95 Object-Oriented Programs
We show some of the specific problems for testing software introduced by the object-oriented features of Ada 95, and focus on specificationbased testing, since this strategy is the key strategy for testing object-oriented software. We present a theory for testing software by refinement of an exhaustive test set into a finite test set using three reduction hypothesis. We also show how the Oracle...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGAda Ada Letters
سال: 1998
ISSN: 1094-3641
DOI: 10.1145/301687.289640